整环上不定方程组的通解公式及其应用

借助Z上矩阵A∈Mm×n(Z)的标准形式D=VAU=diag(d1,d2,…,dq,0,…,0),得到了整环上不定方程组AX=B的通解公式以及矩阵初等变换法.     

基于结构加权的海面编队预定目标选择方法

海面目标运动和编队阵型的约束特性,使得通过对装订阵型和末制导探测阵型进行点集匹配来选择预定目标成为一种有效途径。但当编队目标释放干扰时,会引起阵型结构发生局部变化,导致目标选择性能恶化。本文基于反舰导弹目标选择需求,分析了传感器导航和探测误差、装订信息误差、编队目标运动和释放干扰等因素所引起的位置点集变形,通过利用阵型中未污染的结构信息,提出了基于几何散列法和结构加权平均Hausdorff距离的编队预定目标选择方法。理论分析和实验结果表明,该方法不受传感器导航误差和编队目标整体运动的影响,在编队存在冲淡干扰时能有效提高目标选择能力。     

空战关键信息与战术规则提取算法

将粗糙集理论引入到空战研究中 ,提出了一种通过属性约简提取空战决策的关键信息和战术规则的算法 ,以便对空战过程中的冗余信息进行约简 ,提高决策实时性。通过一个空战战术选择示例对该算法进行了验证 ,结果表明 :在保证空战战术分类结果不变的情况下 ,该算法可提取出对空战决策起关键作用的信息以及最小简化战术规则。     

关于分形插值函数的积分

用反例说明在 [1 ,2 ]中关于分形插值函数的积分公式是错误的 ,并建立了关于分形插值函数积分的正确公式。     

病态信息控制的理论与方法研究进展

论述了“病态信息”概念的形成过程及初步定义 ,讨论了病态信息的危害 ,阐述了病态信息研究的目的意义 ,阐明了国内外相关研究的基本情况、主要观点及其对病态信息的控制产生的影响 ,提出了病态信息控制的理论与方法的框架体系结构 ,最后综述病态信息研究的主要进展情况、主要应用情况及发展前景。     

Branch‐and‐price‐and‐cut for the manpower routing problem with synchronization constraints

In this article, we propose a branch‐and‐price‐and‐cut (BPC) algorithm to exactly solve the manpower routing problem with synchronization constraints (MRPSC). Compared with the classical vehicle routing problems (VRPs), the defining characteristic of the MRPSC is that multiple workers are required to work together and start at the same time to carry out a job, that is, the routes of the scheduling subjects are dependent. The incorporation of the synchronization constraints increases the difficulty of the MRPSC significantly and makes the existing VRP exact algorithm inapplicable. Although there are many types of valid inequalities for the VRP or its variants, so far we can only adapt the infeasible path elimination inequality and the weak clique inequality to handle the synchronization constraints in our BPC algorithm. The experimental results at the root node of the branch‐and‐bound tree show that the employed inequalities can effectively improve the lower bound of the problem. Compared with ILOG CPLEX, our BPC algorithm managed to find optimal solutions for more test instances within 1 hour. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 138–171, 2016     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式、密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

确定螺旋桨直径切割量的图谱和方法

当螺旋桨要求的功率过高以至于轴转速达不到额定值时,可以采用切割螺旋桨叶梢的方法减小螺旋桨的负荷。本文提出了依据切割桨性能系列图谱确定螺旋桨直径切割量的方法,同时也提供了适用于高速船常规螺旋桨的系列图谱。按本文所述方法得到的计算结果与实船测试结果吻合良好。     

基于启发式算法的弹药配套包装优化模型研究

弹药基本包和组合包的装载优化，是实施弹药配套包装所需解决的关键问题。提出了“分类布局策略”方法，用以解决配套包装布局难题。针对步兵部队体制编制区别，建立了两种具有普遍代表性的装载优化模型。首次提出了“余度”概念，并将其在“类装载启发式算法”中加以应用。试验数据检验证明了所提出的方法对弹药配套包装的实施具有现实指导意义，为其在部队推广应用奠定了理论基础。     

基于星上天线仰角约束的星间可视卫星集解析算法

星座自主导航需要对星间可视性规律做定量分析,可为进一步研究星间自主组网策略以及星间网络拓扑设计提供理论依据,同时星上自主建立星间链路需要卫星已知其可视卫星集合,因此有必要研究星间可视性解析算法.建立了基于星上环带天线仰角约束的星间可视性判定模型,结合星座几何特性以及卫星运动规律,以时间为变量,推导了卫星在运动过程中对同...